Devyanin P.N., Leonova M.A., Devyanin P.N., Leonova M.A. «About methods of developing consistent description of the mrosl dp-model for os and dbms for its verification with Rodin and ProB TOOLS» // Applied Discrete Mathematics. Supplement 2021. №14 C.126-132
